Alloy Visualizer
こっちのほうがわかりやすい
同一のモデルを4つの形式で表示できる
https://gyazo.com/95e9324aa44f1a7945976ef5d72d8709
グラフ形式ビュー
図で表示
各ノードはatom
arcはatom間の関係
テキスト形式ビュー
テーブル形式ビュー
木形式ビュー
Evaluator
Alloyの式を入力してその値を確認できる
例えば、univと入力してエンターすれば全atomを見れる
Layoutの変更をしてApplyすれば見た目を変えられる
https://gyazo.com/4b3f7753911f17b507ab3dd883b7a685
特定のobjectに対しても指定できる
https://gyazo.com/c2dd795f00f41111b4b470ac69b9b2b4
Show as arcsをoffにすると見やすくなったのだが、どういう意味なのかあまり理解してないmrsekut.icon arcというのはatom間の関係のこと
一列に並べて表示してくれるということか
どのsigを基盤にして投影するかを選択できる
https://gyazo.com/2c0ba2543a052c72d8ebd654885da7b3
before
https://gyazo.com/722da6809b7f375b602e3b93a9dba293
矢印上の[]のアノテーションについて
(FileSystem, Dir, File)という3項関係を表すのに[Dir]が使われている
赤線
(FileSystem, File, Dir)という3項関係を表すのに[File]が使われている
オレンジの線
after
「FileSystem」にチェックを付けた
https://gyazo.com/0696d09ee0a9f1bb244e534b7becd6d4
画面上からFileSytemが消え、存在が前提される
3項関係を見やすくするために便利